41. COMPSTAT 1982 5th Symposium held at Toulouse 1982 :
پدیدآورنده : edited by H. Caussinus, P. Ettinger, R. Tomassone.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Statistics.
رده :
QA276
.
4
E358
1982
42. CONPAR 81 :
پدیدآورنده : edited by Wolfgang Händler.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Parallel processing (Electronic computers),Parallel processing (Electronic computers) -- Congresses.,Parallélisme (Informatique)
43. CONPAR 90-VAPP IV :
پدیدآورنده : H. Burkhart, ed.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Parallel processing (Electronic computers), Congresses.,Vector processing (Computer science), Congresses.
رده :
QA76
.
58
.
J65
1990
44. Combinatorial Optimization :
پدیدآورنده : edited by Mustafa Akgül, Horst W. Hamacher, Süleyman Tüfekçi.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer science.,Computer software.,Systems theory.
رده :
QA402
.
5
E358
1992
45. Combinatorial image analysis
پدیدآورنده : / Valentin E. Brimkov, Reneta P. Barneva, Herbert A. Hauptman (eds.)
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع : Image analysis--Congresses,Combinatorial analysis--Congresses
رده :
TA
,
1637
,.
I55376
,
2008
46. Communicating process architectures 2009 :
پدیدآورنده : edited by Peter H. Welch [and others].
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer architecture, Congresses.,occam (Computer program language), Congresses.,Parallel processing (Electronic computers), Congresses.,Transputers, Congresses.,Computer architecture.,COMPUTERS-- Computer Literacy.,COMPUTERS-- Computer Science.,COMPUTERS-- Data Processing.,COMPUTERS-- Hardware-- General.,COMPUTERS-- Information Technology.,COMPUTERS-- Machine Theory.,COMPUTERS-- Reference.,occam (Computer program language),Parallel processing (Electronic computers),Transputers.
رده :
QA76
.
58
.
W58
2009
47. Computational Intelligence and Intelligent Systems :
پدیدآورنده : Zhihua Cai ... [et al.] (Eds.).
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Artificial intelligence.,Computer science.,Computer simulation.
48. Computational Logic - CL 2000 :
پدیدآورنده : edited by John Lloyd, Veronica Dahl, Ulrich Furbach, Manfred Kerber, Kung-Kiu Lau, Catuscia Palamidessi, Luís Moniz Pereira, Yehoshua Sagiv, Peter J. Stuckey.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer architecture.,Computer science.,Software engineering.
رده :
QA76
.
9
.
L63
E358
2000
49. [Computer aided systems theory] [revised selected papers]
پدیدآورنده : [EUROCAST 2003, 9th International Workshop on Computer Aided Systems Theory, Las Palmas de Gran Canaria, Spain, February 24-28, 2003. Ed.: Roberto Moreno-Díaz ...].
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer Science,Computer-aided design -- Congresses.,Computer-aided engineering -- Congresses.
50. Computer science :
پدیدآورنده : Subrata Dasgupta.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer science.,Computer science.,Computers and IT.,Computers and IT.
رده :
QA76
.
D314
2016
51. Concurrent programming
پدیدآورنده : Michel Raynal
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer multitasking,Electronic data processing-- Distributed processing,Parallel programming (Computer science)
رده :
QA76
.
642
.
R39
2013
52. Constructive Methods in Computing Science :
پدیدآورنده : edited by Manfred Broy.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer science.,Logic design.,Software engineering.
رده :
QA75
.
5
E358
1989
53. Database Theory -- ICDT '92 :
پدیدآورنده : edited by Joachim Biskup, Richard Hull.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Artificial intelligence.,Computer science.,Database management.
رده :
QA76
.
9
.
D3
E358
1992
54. Declarative programming and knowledge management :
پدیدآورنده : edited by Dietmar Seipel, Michael Hanus, Salvador Abreu (eds.).
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Declarative programming, Congresses.,Artificial Intelligence (incl. Robotics).,Logics and Meanings of Programs.,Numeric Computing.,Programming Techniques.,Software Engineering.,Artificial intelligence.,Computer programming-- software development.,Computers-- Intelligence (AI) & Semantics.,Computers-- Programming-- Algorithms.,Computers-- Programming-- General.,Computers-- Software Development & Engineering-- General.,Declarative programming.,Mathematical theory of computation.,Software Engineering.
رده :
QA76
.
615
55. Deep belief nets in C++ and CUDA C.
پدیدآورنده : Timothy Masters.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : C++ (Computer program language),Neural networks (Computer science),Artificial intelligence.,Business mathematics & systems.,C++ (Computer program language),COMPUTERS-- Programming Languages-- C++.,Databases.,Neural networks (Computer science),Programming & scripting languages: general.
رده :
QA76
.
87
56. Design and Analysis of Algorithms :
پدیدآورنده : Sandeep Sen, Indian Institute of Technology, Delhi, Amit Kumar, Indian Institute of Technology, Delhi
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Algebra.,Algorithms.,Computer science.,Geometry.,Logic.,Mathematics.,Algebra.,Algorithms.,Computer science.,Geometry.,Logic.,Mathematics.
رده :
QA9
.
58
.
S454
2019
57. Designing efficient algorithms for parallel computers
پدیدآورنده : Quinn, Michael Jay
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه صنعتي خواجه نصير الدين طوسى (طهران)
موضوع : ، Parallel programming )Computer science(,، Computer algorithms
رده :
QA
76
.
5
.
Q56
58. Designing efficient algorithms for parallel computers
پدیدآورنده : Quinn, Michael Jay
کتابخانه: (طهران)
موضوع : Parallel programming )Computer science( , Computer algorithms
رده :
QA
76
.
5
.
Q56
1987
59. Designing efficient algorithms for parallel computers
پدیدآورنده : Michael J. Quinn
کتابخانه: (کرمان)
موضوع : Parallel programming )Computer science(,Computer algorithms
رده :
QA
76
.
5
.
Q56
1987
60. Designing efficient algorithms for parallel computers
پدیدآورنده : Quinn, Michael J. )Michael Jay(
کتابخانه: كتابخانه پژوهشگاه نیرو (طهران)
موضوع : ، Parallel programming )Computer science(,، Computer algorithms
رده :
QA
76
.
5
.
Q56
1987
